Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

The effect of acetaminophen (four grams a day for three consecutive days) on hepatic tests in alcoholic patients – a multicenter randomized study

Background: Hepatic failure has been associated with reported therapeutic use of acetaminophen by alcoholic patients. The highest risk period for alcoholic patients is immediately after discontinuation of alcohol intake. This period exhibits the largest increase in CYP2E1 induction and lowest glutathione levels. Our hypothesis was that common liver tests would be unaffected by administration of the maximum recommended daily dosage of acetaminophen for 3 consecutive days to newly-abstinent alcoholic subjects. Methods: Adult alcoholic subjects entering two alcohol detoxification centers were enrolled in a prospective double-blind, randomized, placebo-controlled trial. Subjects were randomized to acetaminophen, 4 g/day, or placebo for 3 consecutive days. The study had 95% probability of detecting a 15 IU/L difference in serum ALT. Results: A total of 443 subjects were enrolled: 308 (258 completed) received acetaminophen and 135 subjects (114 completed) received placebo. Study groups did not differ in demographics, alcohol consumption, nutritional status or baseline laboratory assessments. The peak mean ALT activity was 57 [plus or minus] 45 IU/L and 55 [plus or minus] 48 IU/L in the acetaminophen and placebo groups, respectively. Subgroup analyses for subjects presenting with an elevated ALT, subjects fulfilling a diagnosis of alcoholic hepatitis and subjects attaining a peak ALT greater than 200 IU/L showed no statistical difference between the acetaminophen and control groups. The one participant developing an increased international normalized ratio was in the placebo group. Conclusion: Alcoholic patients treated with the maximum recommended daily dose of acetaminophen for 3 consecutive days did not develop increases in serum transaminase or other measures of liver injury. Treatment of pain or fever for 3 days with acetaminophen appears safe in newly-abstinent alcoholic patients, such as those presenting for acute medical care.Funding for this study was provided by McNeil Consumer Healthcare to the Denver Health Authority, Denver, Colorado

Current European guidelines for management of arterial hypertension: Are they adequate for use in primary care? Modelling study based on the Norwegian HUNT 2 population

<p>Abstract</p> <p>Background</p> <p>Previous studies indicate that clinical guidelines using combined risk evaluation for cardiovascular diseases (CVD) may overestimate risk. The aim of this study was to model and discuss implementation of the current (2007) hypertension guidelines in a general Norwegian population.</p> <p>Methods</p> <p>Implementation of the current <it>European Guidelines for the Management of Arterial Hypertension </it>was modelled on data from a cross-sectional, representative Norwegian population study (The Nord-Trøndelag Health Study 1995-97), comprising 65,028 adults, aged 20-89, of whom 51,066 (79%) were eligible for modelling.</p> <p>Results</p> <p>Among individuals with blood pressure ≥120/80 mmHg, 93% (74% of the total, adult population) would need regular clinical attention and/or drug treatment, based on their total CVD risk profile. This translates into 296,624 follow-up visits/100,000 adults/year. In the Norwegian healthcare environment, 99 general practitioner (GP) positions would be required in the study region for this task alone. The number of GPs currently serving the adult population in the study area is 87 per 100,000 adults.</p> <p>Conclusion</p> <p>The potential workload associated with the European hypertension guidelines could destabilise the healthcare system in Norway, one of the world's most long- and healthy-living nations, by international comparison. Large-scale, preventive medical enterprises can hardly be regarded as scientifically sound and ethically justifiable, unless issues of practical feasibility, sustainability and social determinants of health are considered.</p

Dynamic logistic regression model and population attributable fraction to investigate the association between adherence, missed visits and mortality: a study of HIV-infected adults surviving the first year of ART.

BACKGROUND: Adherence is one of the most important determinants of viral suppression and drug resistance in HIV-infected people receiving antiretroviral therapy (ART). METHODS: We examined the association between long-term mortality and poor adherence to ART in DART trial participants in Uganda and Zimbabwe randomly assigned to receive laboratory and clinical monitoring (LCM), or clinically driven monitoring (CDM). Since over 50% of all deaths in the DART trial occurred during the first year on ART, we focussed on participants continuing ART for 12 months to investigate the implications of longer-term adherence to treatment on mortality. Participants' ART adherence was assessed by pill counts and structured questionnaires at 4-weekly clinic visits. We studied the effect of recent adherence history on the risk of death at the individual level (odds ratios from dynamic logistic regression model), and on mortality at the population level (population attributable fraction based on this model). Analyses were conducted separately for both randomization groups, adjusted for relevant confounding factors. Adherence behaviour was also confounded by a partial factorial randomization comparing structured treatment interruptions (STI) with continuous ART (CT). RESULTS: In the CDM arm a significant association was found between poor adherence to ART in the previous 3-9 months with increased mortality risk. In the LCM arm the association was not significant. The odds ratios for mortality in participants with poor adherence against those with optimal adherence was 1.30 (95% CI 0.78,2.10) in the LCM arm and 2.18 (1.47,3.22) in the CDM arm. The estimated proportions of deaths that could have been avoided with optimal adherence (population attributable fraction) in the LCM and CDM groups during the 5 years follow-up period were 16.0% (95% CI 0.7%,31.6%) and 33.1% (20.5%,44.8%), correspondingly. CONCLUSIONS: Recurrent poor adherence determined even through simple measures is associated with high mortality both at individual level as well as at the ART programme level. The number of lives saved through effective interventions to improve adherence could be considerable particularly for individuals monitored without using CD4 cell counts. The findings have important implications for clinical practice and for developing interventions to enhance adherence